Fixpointed Idempotent Uninorm (Based) Logics

Idempotent Transductions for Modal Logics

We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quantifiers. These logics are refered to as the idempotent transduction logics and are defined using the programs of propositional dynamic logic including converse and tests. This is a nontrivial extension of the decidability of the pos...

Uninorm-based Residuated Lattice

Lattice-ordered monoids are important backgrounds and algebraic foundations of residuum in general. The t-norm based lattices are investigated widely in fuzzy models, but in recent time while researching new approximate reasoning methods in soft computing based models and fuzzy models, the investigations are focused on new types of operators, like uninorms. It is necessary to find and define co...

Universal approximation theorem for uninorm-based fuzzy systems modeling

Most existing universal approximation results for fuzzy systems are based on the assumption that we use t conorms and t conorms to represent and and or Yager has proposed to use within the fuzzy system modeling paradigm more general operations based on uninorms In this paper we show that the universal approximation property holds for an arbitrary choice of a uninorm

Uninorm based evolving neural networks and approximation capabilities

Learning from data streams is a contemporary and challenging issue due to the increasing rate of the size and temporal availability of data, turning traditional learning methods impracticable. This work addresses a structure and introduces a learning approach to train uninorm-based hybrid neural networks using extreme learning concepts. Uninorms bring flexibility and generality to fuzzy neuron ...

A contour view on uninorm properties